((v1 v2 7) (v1 v3 2) (v1 v4 5) (v1 v5 4) (v1 v6 5) (v1 v7 9) (v1 v8 0) (v1 v9 0) (v1 v10 6))
85
((v9 v10) (v2 v7) (v4 v10) (v8 v6) (v9 v6))